Theoretical Basics of Teaching Discrete Mathematics

Teaching Formal Methods and Discrete Mathematics

Despite significant advancements in the conception of (formal) integrated development environments, applying formal methods in software industry is still perceived as a difficult task. To make the task easier, providing tools that help during the development cycle is essential but we think that education of computer scientists and software engineers is also an important challenge to take up. In...

A New Approach to Teaching Discrete Mathematics

We advocate teaching introductory discrete mathematics by first teaching equational propositional and predicate logic and then using it as tool (and not simply viewing it as an object of study) throughout the study of later topics —e.g. set theory, induction, relations, theory of integers, combinatorics, solving recurrence relations, and modern algebra. The in-depth (6–7 weeks) treatment of log...

Teaching and learning of Discrete Mathematics - Indian scenario

Let us, first, very briefly look into the interaction between mathematics and other fields of knowledge. In most of the cases, this interaction has been two way. The obvious one is the application of mathematics to other areas and the less obvious one is that these domains stimulate the development of new mathematics. The traditional example of this two way interaction is between mathematics an...

Explanation of Theoretical Basics of Analysis of the World Order

Dimacs Series in Discrete Mathematics and Theoretical Computer Science

We describe a method, based on the rational univariate reduction (RUR), for computing roots of systems of multivariate polynomials with rational coefficients. Our method enables exact algebraic computations with the root coordinates and works even if the underlying set of roots is positive dimensional. We describe several applications, with special emphasis on geometric modeling. In particular,...